|
|
Specification and verification of declarative open interaction models : , a logic-based approach /
by Montali, Marco.
Publication:
Berlin : Springer, 2010
. xxii, 411 p. :
24 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Business process modeling notation: , Second International Workshop, BPMN 2010, Potsdam, Germany, October 13-14, 2010 : proceedings /
Publication:
Berlin : Springer, 2010
. viii, 128 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
No cover image available
|